GermanWikipedia - /page/entry.mu

<!DOCTYPE html>

<title>Apollonisches Problem</title>

</head>

<h1 id="firstHeading" class="firstHeading mw-first-heading">Apollonisches Problem</h1>

</header>

</div>

Das Apollonische Problem (Problem des Apollonios) ist eines der berühmtesten Probleme der antiken <a href="Geometrie" title="Geometrie">Geometrie</a>. Es geht darum, mit <a href="Konstruktion_mit_Zirkel_und_Lineal" title="Konstruktion mit Zirkel und Lineal">Zirkel und Lineal</a> die <a href="Kreis" title="Kreis">Kreise</a> zu konstruieren, die drei beliebige vorgegebene Kreise berühren. <a href="Apollonios_von_Perge" title="Apollonios von Perge">Apollonios von Perge</a> (* ca. 265 v. Chr.; † ca. 190 v. Chr.) widmet diesem Problem ein nicht erhaltenes Buch (Über Berührungen).

Da man bei den Ausgangskreisen auch von einem unendlich kleinen Radius und einem unendlich großen Radius ausgehen kann, kann nicht nur von drei Kreisen, sondern auch von Punkten und Geraden (<a href="Tangente" title="Tangente">Tangenten</a>) ausgegangen werden. Insgesamt gibt es zehn Kombinationsmöglichkeiten für die gegebenen Stücke, die weiter unten aufgeführt sind.

Da die vollständige Lösung der Probleme alle Konstruktionsfälle mit Berührungen (Tangenten) von Kreisen, Punkten und Geraden löst, sind natürlich auch die Berührkreise am Dreieck enthalten (<a href="Ankreis" title="Ankreis">Ankreis</a>, <a href="Inkreis" title="Inkreis">Inkreis</a>, <a href="Umkreis" title="Umkreis">Umkreis</a>).

<div class="mw-heading mw-heading2"><h2 id="Geschichte">Geschichte</h2></div>

Ein reiches Repertoire von geometrischen und algebraischen Methoden wurde entwickelt, um das apollonische Problem zu lösen, das als „das berühmteste aller geometrischen Probleme“ bezeichnet wurde. Die ursprüngliche Vorgehensweise von <a href="Apollonios_von_Perge" title="Apollonios von Perge">Apollonios</a> ist verlorengegangen, aber von <a href="Fran%C3%A7ois_Vi%C3%A8te" title="François Viète">François Viète</a> und anderen wurden Rekonstruktionen entwickelt, die auf Hinweisen in der Beschreibung durch <a href="Pappos" title="Pappos">Pappos</a> basieren.<a href="#cite_note-Bruen_1983-1">[1]</a> Die erste neue Lösungsmethode wurde 1596 von <a href="Adriaan_van_Roomen" title="Adriaan van Roomen">Adriaan van Roomen</a> veröffentlicht, der die Mittelpunkte der Lösungskreise als die Schnittpunkte zweier <a href="Hyperbel_(Mathematik)" title="Hyperbel (Mathematik)">Hyperbeln</a> fand. Van Roomens Methode wurde 1687 durch <a href="Isaac_Newton" title="Isaac Newton">Isaac Newton</a> in seinen <a href="Philosophiae_Naturalis_Principia_Mathematica" title="Philosophiae Naturalis Principia Mathematica">Principia</a> und durch <a href="John_Casey" title="John Casey">John Casey</a> im Jahre 1881 verfeinert.

Trotz der erfolgreichen Lösung des Apollonius-Problems hat van Roomens Methode einen Nachteil. Eine geschätzte Eigenschaft in der klassischen <a href="Euklidische_Geometrie" title="Euklidische Geometrie">euklidischen Geometrie</a> ist die Möglichkeit, Probleme ausschließlich mit <a href="Konstruktion_mit_Zirkel_und_Lineal" title="Konstruktion mit Zirkel und Lineal">Zirkel und Lineal</a> zu lösen. Viele Konstruktionen sind bei Beschränkung auf diese Hilfsmittel unmöglich, beispielsweise die <a href="Dreiteilung_des_Winkels" title="Dreiteilung des Winkels">Winkeldreiteilung</a>. Viele dieser „unmöglichen“ Probleme lassen sich jedoch durch Schnitte von Kurven wie Hyperbeln, <a href="Ellipse" title="Ellipse">Ellipsen</a> und <a href="Parabel_(Mathematik)" title="Parabel (Mathematik)">Parabeln</a> (<a href="Kegelschnitte" class="mw-redirect" title="Kegelschnitte">Kegelschnitte</a>) lösen. So kann die <a href="W%C3%BCrfelverdoppelung" title="Würfelverdoppelung">Würfelverdoppelung</a> (das Problem, einen Würfel mit dem doppelten Volumen eines gegebenen Würfels zu konstruieren) nicht mit Zirkel und Lineal gelöst werden, aber <a href="Menaichmos_(Mathematiker)" title="Menaichmos (Mathematiker)">Menaichmus</a> zeigte, dass die Lösung durch den Schnitt zweier Parabeln gefunden werden kann. Daher ließ sich aufgrund der Lösung durch van Roomen – die auf dem Schnitt zweier Hyperbeln beruhte – nicht entscheiden, ob eine Konstruktion mit Zirkel und Lineal möglich ist.

Van Roomens Freund <a href="Fran%C3%A7ois_Vi%C3%A8te" title="François Viète">François Viète</a>, der ursprünglich van Roomen dazu gebracht hatte, sich mit dem apollonischen Problem zu befassen, entwickelte eine Methode, die nur Zirkel und Lineal verwendete. Vor Erscheinen der Lösung von Viète zweifelte <a href="Regiomontanus" title="Regiomontanus">Regiomontanus</a> an der Möglichkeit einer Konstruktion mit Zirkel und Lineal. Viète löste zuerst einige einfache Spezialfälle des Apollonios-Problems, etwa die Bestimmung eines Kreises durch drei gegebene Punkte, das nur eine Lösung hat, wenn die Punkte verschieden sind. Darauf aufbauend löste er kompliziertere Spezialfälle, in einigen Fällen durch Verkleinern oder Vergrößern der gegebenen Kreise.<a href="#cite_note-Dörrie_1965-2">[2]</a> Gemäß dem Bericht von <a href="Pappos_von_Alexandria" class="mw-redirect" title="Pappos von Alexandria">Pappos von Alexandria</a> im 4. Jahrhundert folgte das originale Werk von Apollonios zu diesem Problem — mit dem Titel Ἐπαφαί (Epaphaí, "Berührungen"; Lateinisch: De tactionibus, De contactibus) — einem ähnlichen fortschreitenden Zugang. Daher wird Viètes Lösung als plausible Rekonstruktion der Lösung von Apollonios betrachtet, auch wenn weitere Rekonstruktionen unabhängig von drei verschiedenen Autoren publiziert wurden.

Verschiedene andere geometrische Lösungen des Apollonios-Problems wurden im 19. Jahrhundert entwickelt. Die bemerkenswertesten Lösungen sind die von <a href="Jean-Victor_Poncelet" title="Jean-Victor Poncelet">Jean-Victor Poncelet</a> (1811) und von <a href="Joseph_Diaz_Gergonne" class="mw-redirect" title="Joseph Diaz Gergonne">Joseph Diaz Gergonne</a> (1814). Während der Beweis von Poncelet auf Ähnlichkeitszentren von Kreisen und der <a href="Potenz_(Geometrie)" title="Potenz (Geometrie)">Potenz eines Punktes</a> beruht, nutzt die Methode von Gergonne die konjugierte Relation zwischen Geraden und ihren <a href="Pol_und_Polare" title="Pol und Polare">Polen</a> in einem Kreis aus. Methoden, welche die <a href="Kreisspiegelung" title="Kreisspiegelung">Kreisspiegelung</a> verwenden, wurden durch <a href="Julius_Peter_Christian_Petersen" title="Julius Peter Christian Petersen">Julius Peter Christian Petersen</a> im Jahre 1879 eingeführt; ein Beispiel ist die Ring-Lösungsmethode von <a href="Harold_Scott_MacDonald_Coxeter" title="Harold Scott MacDonald Coxeter">H. S. M. Coxeter</a>.<a href="#cite_note-Coxeter_1968-3">[3]</a> Einen weiteren Zugang liefert die Lie-Geometrie von <a href="Sophus_Lie" title="Sophus Lie">Sophus Lie</a>.

Algebraische Lösungen des apollonischen Problems wurden im 17. Jahrhundert von <a href="Ren%C3%A9_Descartes" title="René Descartes">René Descartes</a> und <a href="Elisabeth_von_der_Pfalz_(1618%E2%80%931680)" title="Elisabeth von der Pfalz (1618–1680)">Prinzessin Elisabeth von Böhmen</a> gefunden, die allerdings ziemlich kompliziert sind. Praktisch verwendbare algebraische Methoden wurden im späten 18. und im 19. Jahrhundert durch verschiedene Mathematiker entwickelt, darunter <a href="Leonhard_Euler" title="Leonhard Euler">Leonhard Euler</a>, <a href="Nikolaus_Fuss" title="Nikolaus Fuss">Nikolaus Fuss</a>, <a href="Carl_Friedrich_Gau%C3%9F" title="Carl Friedrich Gauß">Carl Friedrich Gauß</a>, <a href="Lazare_Carnot" class="mw-redirect" title="Lazare Carnot">Lazare Carnot</a> und <a href="Augustin_Louis_Cauchy" class="mw-redirect" title="Augustin Louis Cauchy">Augustin Louis Cauchy</a>.

Setzt man die Konstruktion zu kleineren sich berührenden Kreisen fort, wird man zu Apollonischen Kreispackungen geführt, die in den 2000er Jahren durch Verbindungen zu homogener Dynamik und <a href="Zahlentheorie" title="Zahlentheorie">Zahlentheorie</a> Forschungsinteresse auf sich zogen (u. a. <a href="Jeffrey_Lagarias" title="Jeffrey Lagarias">Jeffrey Lagarias</a>, <a href="Allan_Wilks" class="mw-redirect" title="Allan Wilks">Allan Wilks</a>, <a href="Peter_Sarnak" title="Peter Sarnak">Peter Sarnak</a>, <a href="Alex_Kontorovich" title="Alex Kontorovich">Alex Kontorovich</a>, <a href="Hee_Oh" title="Hee Oh">Hee Oh</a>). Sie sind außerdem Beispiele für <a href="Fraktal" title="Fraktal">Fraktale</a>.

<div class="mw-heading mw-heading2"><h2 id="Lösungsmethoden">Lösungsmethoden</h2></div>

<div class="mw-heading mw-heading3"><h3 id="Schnitt_von_Hyperbeln">Schnitt von Hyperbeln</h3></div>

Die Lösung von <a href="Adriaan_van_Roomen" title="Adriaan van Roomen">Adriaan van Roomen</a> (1596) basiert auf dem Schnitt zweier <a href="Hyperbel_(Mathematik)" title="Hyperbel (Mathematik)">Hyperbeln</a>. Die gegebenen Kreise seien mit C1, C2 und C3 bezeichnet. Van Roomen löste das allgemeine Problem durch Zurückführung auf ein einfacheres Problem, nämlich die Bestimmung von Kreisen, die zwei gegebene Kreise berühren, etwa C1 und C2. Er stellte fest, dass der Mittelpunkt eines Kreises, der die beiden gegebenen Kreise berührt, auf einer Hyperbel liegen muss, deren Brennpunkte die Mittelpunkte der gegebenen Kreise sind. Um das zu verstehen, sollen die Radien des Lösungskreises und der zwei gegebenen Kreise mit rs, r1 bzw. r2 bezeichnet werden (Abbildung 3). Der Abstand d1 zwischen den Mittelpunkten des Lösungskreises und von C1 ist entweder rs + r1 oder rs − r1 – je nachdem, ob diese Kreise ausschließend oder einschließend berührt werden. Entsprechend ist der Abstand d2 zwischen den Mittelpunkten des Lösungskreises und von C2 entweder gleich rs + r2 oder rs − r2 – wieder abhängig von der Art der Berührung. Daher ist die Differenz d1 − d2 dieser Abstände immer eine Konstante, die unabhängig von rs ist. Diese Eigenschaft einer festen Differenz der Abstände von zwei <a href="Brennpunkt_(Geometrie)" title="Brennpunkt (Geometrie)">Brennpunkten</a> charakterisiert Hyperbeln; folglich muss der Mittelpunkt des Lösungskreises auf einer Hyperbel liegen. Eine zweite Hyperbel kann gezeichnet werden für die beiden gegebenen Kreise C2 und C3, wobei die Art der Berührung zwischen dem Lösungskreis und C2 konsistent sein sollte zur ersten Hyperbel. Der Schnitt der beiden Hyperbeln (falls nicht leer) liefert den Mittelpunkt des Lösungskreises mit den vorgegebenen Berührungseigenschaften. Die gesamte Menge der Lösungen des apollonischen Problems findet man, indem man alle möglichen Kombinationen von ein- oder ausschließender Berührung der drei gegebenen Kreise betrachtet.

<a href="Isaac_Newton" title="Isaac Newton">Isaac Newton</a> (1687) verbesserte van Roomens Lösung dadurch, dass die Mittelpunkte der Lösungskreise durch Schnitt einer Geraden und eines Kreises ermittelt wurden. Newton formulierte das Apollonios-Problem als ein Problem der <a href="Lateration" title="Lateration">Trilateration</a>: die Bestimmung eines Punktes Z aus drei gegebenen Punkten A, B und C, sodass die Differenzen der Abstände zwischen Z und den drei gegebenen Punkten bestimmte Werte haben. Diese vier Punkte entsprechen dem Mittelpunkt des Lösungskreises (Z) und den Mittelpunkten der drei gegebenen Kreise (A, B und C).

Anstelle der zwei Hyperbeln konstruiert Newton ihre <a href="Hyperbel_(Mathematik)#Leitlinien-Eigenschaft" title="Hyperbel (Mathematik)">Leitlinien</a>. Für jede Hyperbel ist das Verhältnis der Abstände eines Punktes Z zu einem Brennpunkt A und der Leitlinie eine Konstante, die <a href="Exzentrizit%C3%A4t_(Mathematik)" title="Exzentrizität (Mathematik)">Exzentrizität</a> genannt wird. Die zwei Leitlinien schneiden sich in einem Punkt T, und aus den beiden bekannten Abstandsverhältnissen konstruiert Newton eine Gerade durch T, auf der Z liegen muss. Das Abstandsverhältnis TZ/TA ist jedoch ebenfalls bekannt; daher liegt Z auch auf einem bekannten Kreis, da nach Apollonios ein Kreis definiert werden kann als die Menge aller Punkte, deren Abstände zu zwei gegebenen festen Punkten ein bestimmtes Verhältnis haben (<a href="Kreis_des_Apollonios" title="Kreis des Apollonios">Kreis des Apollonios</a>). (Diese Definition ist übrigens die Grundlage der bipolaren Koordinaten.) Das Problem des Apollonios kann also auf den Schnitt von Gerade und Kreis zurückgeführt werden.

<div class="mw-heading mw-heading3"><h3 id="Viètes_Rekonstruktion">Viètes Rekonstruktion</h3></div>

Wie unten beschrieben, hat das apollonische Problem zehn Spezialfälle, die sich in der Art der drei gegebenen Objekte, nämlich Kreise (K), Geraden (G) oder Punkte (P) unterscheiden. Gewöhnlich werden diese zehn Fälle mit Abkürzungen wie KKP bezeichnet. Viète löste alle diese Fälle durch Konstruktionen mit Zirkel und Lineal; dabei verwendete er die Lösungen der einfacheren Fälle zur Behandlung der komplizierteren Fälle.<a href="#cite_note-Dörrie_1965-2">[2]</a>

Viète begann mit der Lösung des Falles PPP (drei Punkte) und folgte dabei der Methode von <a href="Euklid" title="Euklid">Euklid</a>, wie sie in den <a href="Elemente_(Euklid)" title="Elemente (Euklid)">Elementen</a> beschrieben ist. Darauf aufbauend, leitete er ein <a href="Hilfssatz" title="Hilfssatz">Lemma</a> ab, das dem Satz über die <a href="Potenz_(Geometrie)" title="Potenz (Geometrie)">Potenz eines Punktes</a> entspricht, und löste mit dessen Hilfe den Fall GPP (eine Gerade, zwei Punkte). Ebenfalls nach Euklid löste Viète den Fall GGG (drei Geraden) durch Verwendung von <a href="Winkelhalbierende" title="Winkelhalbierende">Winkelhalbierenden</a>. Anschließend leitete er ein Lemma ab, um das Lot zu einer Winkelhalbierenden durch einen gegebenen Punkt zu konstruieren, womit der Fall GGP (zwei Geraden, ein Punkt) erledigt war. Damit waren die ersten vier Fälle des Apollonios-Problems gelöst, bei denen keine Kreise gegeben waren.

Um die verbleibenden Probleme zu lösen, nutzte Viète die Tatsache aus, dass die gegebenen Kreise und ein Lösungskreis ihre Größe ändern können, ohne dass sich an der Berührung etwas ändert (Abbildung 5). Wenn der Radius des Lösungskreises um einen Betrag <math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle \Delta r}">

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle \Delta r}</annotation>

</semantics>

</math><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/cc4f36cb1759b5dbc5003f91e305d51f58205200.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.338ex; width:2.985ex; height:2.176ex;" alt="{\displaystyle \Delta r}" loading="lazy"> verändert wird, muss sich der Radius der gegebenen Kreise bei einschließender Berührung ebenfalls um <math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle \Delta r}">

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle \Delta r}</annotation>

</semantics>

</math><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/cc4f36cb1759b5dbc5003f91e305d51f58205200.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.338ex; width:2.985ex; height:2.176ex;" alt="{\displaystyle \Delta r}" loading="lazy"> ändern, bei ausschließender Berührung dagegen um <math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle -\Delta r}">

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle -\Delta r}</annotation>

</semantics>

</math><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/d439a1d36411cd1aa5c52cf754ef5b5466a94f91.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.505ex; width:4.793ex; height:2.343ex;" alt="{\displaystyle -\Delta r}" loading="lazy">. Wenn also der Lösungskreis anschwillt, müssen die gegebenen Kreise bei einschließender Berührung genauso anschwellen und bei ausschließender Berührung sich entgegengesetzt verhalten, wenn die Berührungseigenschaft erhalten bleiben soll.

Viète verwendete diesen Zugang, um einen der gegebenen Kreise zu einem Punkt schrumpfen zu lassen; auf diese Weise ließen sich die komplizierteren Fälle auf die einfacheren, schon gelösten Fälle zurückführen. Er löste zuerst den Fall KGG (ein Kreis, zwei Geraden) durch Verkleinern des Kreises zu einem Punkt, entsprechend dem Fall GGP. Danach löste er den Fall KGP (ein Kreis, eine Gerade, ein Punkt) unter Verwendung von drei Lemmata. Erneut durch Schrumpfen eines Kreises zu einem Punkt, transformierte Viète den Fall KKG in den Fall KGP. Danach löste er die Fälle KPP (ein Kreis, zwei Punkte) und KKP (zwei Kreise, ein Punkt), den zweiten davon mit zwei Lemmata. Zuletzt löste Viète den allgemeinen Fall KKK (drei Kreise) durch Verkleinerung eines Kreises zu einem Punkt, wodurch dieses Teilproblem auf den Fall KKP zurückgeführt wurde.

<div class="mw-heading mw-heading3"><h3 id="Algebraische_Lösung">Algebraische Lösung</h3></div>

Bezeichnet man die Mittelpunkte der drei gegebenen Kreise mit

<msub>

</mrow>

</msub>

<msub>

</mrow>

</msub>

<msub>

</mrow>

</msub>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle M_{1}=(x_{1},y_{1})}</annotation>

</semantics>

</math><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/869d96c13678919463e3a06aae9d64c4670c149a.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.838ex; width:13.827ex; height:2.843ex;" alt="{\displaystyle M_{1}=(x_{1},y_{1})}" loading="lazy">, <math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle M_{2}=(x_{2},y_{2})}">

<msub>

</mrow>

</msub>

<msub>

</mrow>

</msub>

<msub>

</mrow>

</msub>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle M_{2}=(x_{2},y_{2})}</annotation>

</semantics>

</math><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/1e6a55a43cfc7e638ae6bf842c1cec95962b97bc.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.838ex; width:13.827ex; height:2.843ex;" alt="{\displaystyle M_{2}=(x_{2},y_{2})}" loading="lazy"> und <math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle M_{3}=(x_{3},y_{3})}">

<msub>

</mrow>

</msub>

<msub>

</mrow>

</msub>

<msub>

</mrow>

</msub>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle M_{3}=(x_{3},y_{3})}</annotation>

</semantics>

</math><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/296dd51c2506c365386aca72db8ed0428bb1c877.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.838ex; width:13.827ex; height:2.843ex;" alt="{\displaystyle M_{3}=(x_{3},y_{3})}" loading="lazy">,</dd></dl>

deren Radien mit <math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle r_{1}}">

<msub>

</mrow>

</msub>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle r_{1}}</annotation>

</semantics>

</math><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/ea214f2b31fb3869344bb9311da41c5cc38a99e1.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.671ex; width:2.103ex; height:2.009ex;" alt="{\displaystyle r_{1}}" loading="lazy">, <math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle r_{2}}">

<msub>

</mrow>

</msub>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle r_{2}}</annotation>

</semantics>

</math><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/4cbe9b0b294fdd6fadbf9a7249813f016dcbc44f.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.671ex; width:2.103ex; height:2.009ex;" alt="{\displaystyle r_{2}}" loading="lazy"> und <math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle r_{3}}">

<msub>

</mrow>

</msub>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle r_{3}}</annotation>

</semantics>

</math><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/51fc5930cbb780220b209b444707ad9e2ba82c68.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.671ex; width:2.103ex; height:2.009ex;" alt="{\displaystyle r_{3}}" loading="lazy">

sowie Mittelpunkt und Radius des gesuchten Kreises mit <math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle M_{s}=(x_{s},y_{s})}">

<msub>

</mrow>

</msub>

<msub>

</mrow>

</msub>

<msub>

</mrow>

</msub>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle M_{s}=(x_{s},y_{s})}</annotation>

</semantics>

</math><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/25cab5715b655f8a1e374cbdb14c3dfbcc04706a.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.838ex; width:13.675ex; height:2.843ex;" alt="{\displaystyle M_{s}=(x_{s},y_{s})}" loading="lazy"> und <math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle r_{s}}">

<msub>

</mrow>

</msub>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle r_{s}}</annotation>

</semantics>

</math><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/28528468fc3b17c72144f4ba50bb7b4257c1e316.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.671ex; width:2.052ex; height:2.009ex;" alt="{\displaystyle r_{s}}" loading="lazy">,

so führen die Bedingungen für die Abstände des gesuchten Kreismittelpunkts von den gegebenen

Mittelpunkten auf ein Gleichungssystem des folgenden Typs für die drei Unbekannten

<msub>

</mrow>

</msub>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle x_{s}}</annotation>

</semantics>

</math><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/731c17e8ce0dad32aab6e3ad68f52405fe277007.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.671ex; width:2.333ex; height:2.009ex;" alt="{\displaystyle x_{s}}" loading="lazy">, <math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle y_{s}}">

<msub>

</mrow>

</msub>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle y_{s}}</annotation>

</semantics>

</math><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/f7f755690acf5d31a8f36b9faa8ee0f65dab378a.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.671ex; width:2.143ex; height:2.009ex;" alt="{\displaystyle y_{s}}" loading="lazy"> und <math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle r_{s}}">

<msub>

</mrow>

</msub>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle r_{s}}</annotation>

</semantics>

</math><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/28528468fc3b17c72144f4ba50bb7b4257c1e316.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.671ex; width:2.052ex; height:2.009ex;" alt="{\displaystyle r_{s}}" loading="lazy">:

<msup>

<mrow>

<mrow>

<msub>

</mrow>

</msub>

<msub>

</mrow>

</msub>

</mrow>

</mrow>

</mrow>

</msup>

<msup>

<mrow>

<mrow>

<msub>

</mrow>

</msub>

<msub>

</mrow>

</msub>

</mrow>

</mrow>

</mrow>

</msup>

<msup>

<mrow>

<mrow>

<msub>

</mrow>

</msub>

<msub>

</mrow>

</msub>

</mrow>

</mrow>

</mrow>

</msup>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle \left(x_{s}-x_{1}\right)^{2}+\left(y_{s}-y_{1}\right)^{2}=\left(r_{s}\pm r_{1}\right)^{2}}</annotation>

</semantics>

</math><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/e1a32cf2e27d3fc28458e9ebfe46fc954b336667.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.838ex; width:36.258ex; height:3.343ex;" alt="{\displaystyle \left(x_{s}-x_{1}\right)^{2}+\left(y_{s}-y_{1}\right)^{2}=\left(r_{s}\pm r_{1}\right)^{2}}" loading="lazy"></dd></dl>

<msup>

<mrow>

<mrow>

<msub>

</mrow>

</msub>

<msub>

</mrow>

</msub>

</mrow>

</mrow>

</mrow>

</msup>

<msup>

<mrow>

<mrow>

<msub>

</mrow>

</msub>

<msub>

</mrow>

</msub>

</mrow>

</mrow>

</mrow>

</msup>

<msup>

<mrow>

<mrow>

<msub>

</mrow>

</msub>

<msub>

</mrow>

</msub>

</mrow>

</mrow>

</mrow>

</msup>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle \left(x_{s}-x_{2}\right)^{2}+\left(y_{s}-y_{2}\right)^{2}=\left(r_{s}\pm r_{2}\right)^{2}}</annotation>

</semantics>

</math><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/eac411f9778715699576219fe9895b7df47aa7d3.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.838ex; width:36.258ex; height:3.343ex;" alt="{\displaystyle \left(x_{s}-x_{2}\right)^{2}+\left(y_{s}-y_{2}\right)^{2}=\left(r_{s}\pm r_{2}\right)^{2}}" loading="lazy"></dd></dl>

<msup>

<mrow>

<mrow>

<msub>

</mrow>

</msub>

<msub>

</mrow>

</msub>

</mrow>

</mrow>

</mrow>

</msup>

<msup>

<mrow>

<mrow>

<msub>

</mrow>

</msub>

<msub>

</mrow>

</msub>

</mrow>

</mrow>

</mrow>

</msup>

<msup>

<mrow>

<mrow>

<msub>

</mrow>

</msub>

<msub>

</mrow>

</msub>

</mrow>

</mrow>

</mrow>

</msup>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle \left(x_{s}-x_{3}\right)^{2}+\left(y_{s}-y_{3}\right)^{2}=\left(r_{s}\pm r_{3}\right)^{2}}</annotation>

</semantics>

</math><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/4193edbdd87f5e37c306dc55a32cb71e489b004b.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.838ex; width:36.258ex; height:3.343ex;" alt="{\displaystyle \left(x_{s}-x_{3}\right)^{2}+\left(y_{s}-y_{3}\right)^{2}=\left(r_{s}\pm r_{3}\right)^{2}}" loading="lazy"></dd></dl>

Bei ausschließender Berührung gilt das Pluszeichen von <math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle \pm }">

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle \pm }</annotation>

</semantics>

</math><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/869e366caf596564de4de06cb0ba124056d4064b.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.338ex; width:1.808ex; height:2.176ex;" alt="{\displaystyle \pm }" loading="lazy">, bei einschließender Berührung das Minuszeichen. Subtrahiert man beispielsweise die zweite Gleichung von der ersten und die dritte von der zweiten, so kann man <math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle x_{s}}">

<msub>

</mrow>

</msub>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle x_{s}}</annotation>

</semantics>

</math><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/731c17e8ce0dad32aab6e3ad68f52405fe277007.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.671ex; width:2.333ex; height:2.009ex;" alt="{\displaystyle x_{s}}" loading="lazy"> und <math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle y_{s}}">

<msub>

</mrow>

</msub>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle y_{s}}</annotation>

</semantics>

</math><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/f7f755690acf5d31a8f36b9faa8ee0f65dab378a.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.671ex; width:2.143ex; height:2.009ex;" alt="{\displaystyle y_{s}}" loading="lazy"> durch <math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle r_{s}}">

<msub>

</mrow>

</msub>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle r_{s}}</annotation>

</semantics>

</math><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/28528468fc3b17c72144f4ba50bb7b4257c1e316.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.671ex; width:2.052ex; height:2.009ex;" alt="{\displaystyle r_{s}}" loading="lazy"> ausdrücken, indem man ein <a href="Lineares_Gleichungssystem" title="Lineares Gleichungssystem">lineares Gleichungssystem</a> mit zwei Unbekannten löst.

<msub>

</mrow>

</msub>

<msub>

</mrow>

</msub>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle x_{s}=M+Nr_{s}}</annotation>

</semantics>

</math><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/34689722e71a9337d0c5b6ee9abcfc966f7e36d4.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.671ex; width:14.83ex; height:2.509ex;" alt="{\displaystyle x_{s}=M+Nr_{s}}" loading="lazy"></dd></dl>

<msub>

</mrow>

</msub>

<msub>

</mrow>

</msub>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle y_{s}=P+Qr_{s}}</annotation>

</semantics>

</math><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/ae5054535254aaa04f71c19f0b0853c72887896d.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.671ex; width:13.717ex; height:2.509ex;" alt="{\displaystyle y_{s}=P+Qr_{s}}" loading="lazy"></dd></dl>

Die Koeffizienten <math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle M}">

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle M}</annotation>

</semantics>

</math><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/f82cade9898ced02fdd08712e5f0c0151758a0dd.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.338ex; width:2.442ex; height:2.176ex;" alt="{\displaystyle M}" loading="lazy">, <math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle N}">

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle N}</annotation>

</semantics>

</math><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/f5e3890c981ae85503089652feb48b191b57aae3.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.338ex; width:2.064ex; height:2.176ex;" alt="{\displaystyle N}" loading="lazy">, <math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle P}">

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle P}</annotation>

</semantics>

</math><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/b4dc73bf40314945ff376bd363916a738548d40a.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.338ex; width:1.745ex; height:2.176ex;" alt="{\displaystyle P}" loading="lazy"> und <math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle Q}">

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle Q}</annotation>

</semantics>

</math><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/8752c7023b4b3286800fe3238271bbca681219ed.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.671ex; width:1.838ex; height:2.509ex;" alt="{\displaystyle Q}" loading="lazy"> hängen von den gegebenen Kreisen und der Art der Berührung (ein- oder ausschließend) ab.

Durch Einsetzen dieser Ergebnisse in eine der gegebenen Gleichungen erhält man eine <a href="Quadratische_Gleichung" title="Quadratische Gleichung">quadratische Gleichung</a>, mit der sich <math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle r_{s}}">

<msub>

</mrow>

</msub>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle r_{s}}</annotation>

</semantics>

</math><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/28528468fc3b17c72144f4ba50bb7b4257c1e316.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.671ex; width:2.052ex; height:2.009ex;" alt="{\displaystyle r_{s}}" loading="lazy"> bestimmen lässt; daraus lassen sich anschließend die Koordinaten <math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle x_{s}}">

<msub>

</mrow>

</msub>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle x_{s}}</annotation>

</semantics>

</math><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/731c17e8ce0dad32aab6e3ad68f52405fe277007.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.671ex; width:2.333ex; height:2.009ex;" alt="{\displaystyle x_{s}}" loading="lazy"> und <math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle y_{s}}">

<msub>

</mrow>

</msub>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle y_{s}}</annotation>

</semantics>

</math><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/f7f755690acf5d31a8f36b9faa8ee0f65dab378a.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.671ex; width:2.143ex; height:2.009ex;" alt="{\displaystyle y_{s}}" loading="lazy"> errechnen.

Das hier beschriebene Verfahren bezieht sich zunächst auf den Fall dreier Kreise (KKK), lässt sich aber problemlos auf Punkte übertragen, wenn man diese als Kreise mit Radius 0 auffasst. Bei Geraden kann man aus der Bedingung, dass der Mittelpunkt <math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle (x_{s},y_{s})}">

<msub>

</mrow>

</msub>

<msub>

</mrow>

</msub>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle (x_{s},y_{s})}</annotation>

</semantics>

</math><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/d8edb00a65d53ed937f36358b01532dad0b79677.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.838ex; width:7.319ex; height:2.843ex;" alt="{\displaystyle (x_{s},y_{s})}" loading="lazy"> eines Lösungskreises den Abstand <math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle r_{s}}">

<msub>

</mrow>

</msub>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle r_{s}}</annotation>

</semantics>

</math><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/28528468fc3b17c72144f4ba50bb7b4257c1e316.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.671ex; width:2.052ex; height:2.009ex;" alt="{\displaystyle r_{s}}" loading="lazy"> haben muss, lineare Gleichungen für <math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle x_{s}}">

<msub>

</mrow>

</msub>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle x_{s}}</annotation>

</semantics>

</math><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/731c17e8ce0dad32aab6e3ad68f52405fe277007.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.671ex; width:2.333ex; height:2.009ex;" alt="{\displaystyle x_{s}}" loading="lazy">, <math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle y_{s}}">

<msub>

</mrow>

</msub>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle y_{s}}</annotation>

</semantics>

</math><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/f7f755690acf5d31a8f36b9faa8ee0f65dab378a.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.671ex; width:2.143ex; height:2.009ex;" alt="{\displaystyle y_{s}}" loading="lazy"> und <math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle r_{s}}">

<msub>

</mrow>

</msub>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle r_{s}}</annotation>

</semantics>

</math><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/28528468fc3b17c72144f4ba50bb7b4257c1e316.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.671ex; width:2.052ex; height:2.009ex;" alt="{\displaystyle r_{s}}" loading="lazy"> aufstellen; die weitere Lösung erfolgt wie bei Kreisen.

<div class="mw-heading mw-heading3"><h3 id="Inversive_Methoden">Inversive Methoden</h3></div>

Einen natürlichen Rahmen für das Problem des Apollonios bildet die Inversive Geometrie.<a href="#cite_note-Bruen_1983-1">[1]</a> Die grundlegende Strategie der inversiven Methoden besteht darin, ein gegebenes Apollonios-Problem in ein anderes Apollonios-Problem zu verwandeln, das einfacher zu lösen ist; die Lösungen des originalen Problems erhält man aus den Lösungen des transformierten Problems dadurch, dass man die Transformation rückgängig macht. In Frage kommen Transformationen, die ein Apollonios-Problem in ein anderes verwandeln; sie müssen daher die gegebenen Punkte, Kreise und Geraden in andere Punkte, Kreise oder Geraden verwandeln, aber in keine anderen Formen. Die <a href="Kreisspiegelung" title="Kreisspiegelung">Kreisspiegelung</a> hat diese Eigenschaft und erlaubt es, Mittelpunkt und Radius des Inversionskreises beliebig zu wählen. Zunächst könnte man meinen, dass auch <a href="Kongruenzabbildung" title="Kongruenzabbildung">Kongruenzabbildungen</a> in Betracht kommen; diese würden aber das Problem nicht vereinfachen, sondern nur auf <a href="Parallelverschiebung" title="Parallelverschiebung">Verschiebungen</a>, <a href="Drehung" title="Drehung">Drehungen</a> und <a href="Spiegelung_(Geometrie)" title="Spiegelung (Geometrie)">Spiegelungen</a> des originalen Problems hinauslaufen.

Die Inversion an einem Kreis (Kreisspiegelung) mit Mittelpunkt O und Radius R besteht aus der folgenden Operation (Abbildung 6): jeder Punkt P wird abgebildet auf einen neuen Punkt P′, so dass O, P und P′ kollinear sind und das Produkt der Abstände von P und P′ zum Mittelpunkt O gleich dem Quadrat des Radius R ist:

<mover>

</mrow>

</mover>

</mrow>

<mover>

<msup>

</mrow>

</msup>

</mrow>

</mover>

</mrow>

<msup>

</mrow>

</msup>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle {\overline {\mathbf {OP} }}\cdot {\overline {\mathbf {OP^{\prime }} }}=R^{2}.}</annotation>

</semantics>

</math><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/587f8d77bf153f9e115794531bc3e726a6f8c93e.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.338ex; width:16.826ex; height:3.176ex;" alt="{\displaystyle {\overline {\mathbf {OP} }}\cdot {\overline {\mathbf {OP^{\prime }} }}=R^{2}.}" loading="lazy"></dd></dl>

Liegt P außerhalb des Kreises, so liegt P′ innerhalb, und umgekehrt. Stimmt P mit O überein, so sagt man, dass die Inversion P ins Unendliche abbildet. (In der <a href="Funktionentheorie" title="Funktionentheorie">Komplexen Analysis</a> wird "unendlich" auf der <a href="Riemannsche_Zahlenkugel" title="Riemannsche Zahlenkugel">Riemannschen Zahlenkugel</a> definiert.) Die Inversion hat die nützliche Eigenschaft, dass Geraden und Kreise immer in Geraden oder Kreise transformiert werden, und Punkte immer in Punkte. Kreise gehen bei der Inversion im Allgemeinen in Kreise über; wenn allerdings ein Kreis durch den Mittelpunkt des Inversionskreises geht, wird er in eine Gerade transformiert, und umgekehrt. Bedeutsam ist die Tatsache, dass ein Kreis, der den Inversionskreis rechtwinklig schneidet, durch die Inversion nicht verändert wird, sondern auf sich selbst abgebildet wird.

Die Kreisspiegelungen entsprechen einer Teilmenge der <a href="M%C3%B6biustransformation" title="Möbiustransformation">Möbiustransformationen</a> auf der Riemannkugel. Das ebene Apollonios-Problem kann durch <a href="Stereografische_Projektion" title="Stereografische Projektion">stereografische Projektion</a> auf die Kugel übertragen werden; daher gelten die Lösungen des ebenen Problems auch für das entsprechende Problem auf der Kugel. Auch andere inversive Lösungen des ebenen Problems sind möglich.

<div class="mw-heading mw-heading3"><h3 id="Lösungspaare_bezüglich_Inversion">Lösungspaare bezüglich Inversion</h3></div>

Lösungen des Apollonios-Problems treten gewöhnlich paarweise auf; zu jedem Lösungskreis gibt es einen konjugierten Lösungskreis (Abbildung 7).<a href="#cite_note-Dörrie_1965-2">[2]</a> Dabei schließt ein Lösungskreis die gegebenen Kreise aus, die der andere Lösungskreis einschließt, und umgekehrt. Im abgebildeten Beispiel schließt ein Lösungskreis (pink, links oben) zwei gegebene Kreise (schwarz) ein, den dritten gegebenen Kreis jedoch aus; der konjugierte Lösungskreis hingegen (ebenfalls pink, rechts unten) schließt den dritten gegebenen Kreis ein, die beiden anderen aber aus. Die beiden konjugierten Lösungskreise sind symmetrisch zueinander bezüglich einer Kreisspiegelung, wie im Folgenden erläutert wird.

Im Allgemeinen gibt es zu drei beliebigen Kreisen einen eindeutig bestimmten Kreis (engl. radical circle), der alle drei gegebenen Kreise rechtwinklig schneidet; der Mittelpunkt dieses Kreises wird englisch als radical center bezeichnet. Zur Veranschaulichung, der orange gezeichnete Kreis in Abbildung 7 schneidet die gegebenen, schwarz dargestellten Kreise im rechten Winkel. Die Kreisspiegelung am radical circle lässt die gegebenen Kreise unverändert, bildet aber die konjugierten Lösungskreise (pink) aufeinander ab. Dieselbe Kreisspiegelung bildet die entsprechenden Berührpunkte der zwei Lösungskreise aufeinander ab; zur Verdeutlichung, die beiden blau gekennzeichneten Punkte auf jeder der grünen Linien werden ineinander transformiert. Daher sind die Verbindungsgeraden solcher konjugierter Berührpunkte invariant bezüglich der Inversion; folglich müssen sie durch das Zentrum der Inversion gehen, also durch das radical center (grüne Linien, die sich im orangen Punkt der Skizze schneiden).

<div class="mw-heading mw-heading4"><h4 id="Inversion_in_einen_Kreisring">Inversion in einen Kreisring</h4></div>

Falls zwei der drei gegebenen Kreise sich nicht schneiden, kann ein Inversionszentrum derart gefunden werden, dass diese zwei Kreise in <a href="Konzentrizit%C3%A4t" title="Konzentrizität">konzentrische</a> Kreise übergehen.<a href="#cite_note-Coxeter_1968-3">[3]</a><a href="#cite_note-Bruen_1983-1">[1]</a> Bei Anwendung dieser Inversion werden die Lösungskreise auf Kreise innerhalb des <a href="Kreisring" title="Kreisring">Kreisrings</a> zwischen den beiden konzentrischen Kreisen abgebildet.

Daher gehören sie zu einer von zwei Familien mit je einem Parameter. In der ersten Familie (Abbildung 8) schließen die Lösungen nicht den inneren der konzentrischen Kreise ein, sondern liegen wie die Kugeln eines Kugellagers im Kreisring. In der zweiten Familie (Abbildung 9) wird der innere der konzentrischen Kreise eingeschlossen. Im Allgemeinen existieren vier Lösungen pro Familie, insgesamt also acht Lösungen, was im Einklang mit der <a href="#Algebraische_Lösung">algebraischen Lösung</a> steht.

Sind zwei der gegebenen Kreise konzentrisch, so lässt sich das Apollonische Problem leicht mit einer von <a href="Carl_Friedrich_Gau%C3%9F" title="Carl Friedrich Gauß">Gauß</a> vorgeschlagenen Methode lösen. Die Radien der drei gegebenen Kreise sind bekannt, ebenso der Abstand dnon zwischen dem Mittelpunkt der konzentrischen Kreise und dem Mittelpunkt des nicht konzentrischen Kreises (Abbildung 8). Ein Lösungskreis kann bestimmt werden aus seinem Radius rs, dem Winkel <math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle \theta }">

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle \theta }</annotation>

</semantics>

</math><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/6e5ab2664b422d53eb0c7df3b87e1360d75ad9af.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.338ex; width:1.09ex; height:2.176ex;" alt="{\displaystyle \theta }" loading="lazy"> sowie den Abständen ds und dT zwischen seinem Mittelpunkt und dem gemeinsamen Mittelpunkt der konzentrischen Kreise beziehungsweise dem Mittelpunkt des nicht konzentrischen Kreises. Der Radius und der Abstand ds sind bekannt (Abbildung 8), und für den Abstand dT gilt

dT = rs ± rnon – abhängig davon, ob der nicht konzentrische Kreis einschließend oder ausschließend berührt wird. Aus dem <a href="Kosinussatz" title="Kosinussatz">Kosinussatz</a> folgt nun

<mfrac>

<mrow>

</mrow>

</mrow>

</msubsup>

</mrow>

</mrow>

</msubsup>

</mrow>

</mrow>

</msubsup>

</mrow>

<mrow>

<msub>

</mrow>

</msub>

<msub>

</mrow>

</msub>

</mrow>

</mfrac>

</mrow>

<msub>

</mrow>

</msub>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle \cos \theta ={\frac {d_{\mathrm {s} }^{2}+d_{\mathrm {non} }^{2}-d_{\mathrm {T} }^{2}}{2d_{\mathrm {s} }d_{\mathrm {non} }}}\equiv C_{\pm }.}</annotation>

</semantics>

</math><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/acaf40112fd04d9536b65d02f406a03b4d2242b7.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -2.338ex; width:30.113ex; height:6.509ex;" alt="{\displaystyle \cos \theta ={\frac {d_{\mathrm {s} }^{2}+d_{\mathrm {non} }^{2}-d_{\mathrm {T} }^{2}}{2d_{\mathrm {s} }d_{\mathrm {non} }}}\equiv C_{\pm }.}" loading="lazy"></dd></dl>

Hier wurde als Abkürzung eine neue Konstante C definiert, deren Index angibt, ob der Lösungskreis ausschließend oder einschließend berühren soll. Eine einfache trigonometrische Umformung führt zu den vier Lösungen

</mrow>

<mrow>

<msqrt>

<mfrac>

<mrow>

</mrow>

<mrow>

</mrow>

</mfrac>

</msqrt>

</mrow>

</mrow>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle \theta =\pm 2\ \mathrm {atan} \left({\sqrt {\frac {1-C}{1+C}}}\right).}</annotation>

</semantics>

</math><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/4905ad3071a78a9782d0642354dbf13ac0be9449.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -3.171ex; width:26.294ex; height:7.676ex;" alt="{\displaystyle \theta =\pm 2\ \mathrm {atan} \left({\sqrt {\frac {1-C}{1+C}}}\right).}" loading="lazy"></dd></dl>

Diese Formel drückt vier Lösungen aus, weil je zwei Möglichkeiten für <math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle \pm }">

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle \pm }</annotation>

</semantics>

</math><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/869e366caf596564de4de06cb0ba124056d4064b.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.338ex; width:1.808ex; height:2.176ex;" alt="{\displaystyle \pm }" loading="lazy"> und C bestehen. Die verbleibenden vier Lösungen erhält man mit derselben Methode, indem man die Substitutionen für rs und ds aus Abbildung 9 verwendet. Insgesamt findet man mit dieser Methode alle acht Lösungen des allgemeinen Apollonios-Problems.

Zwei beliebige disjunkte Kreise können folgendermaßen auf konzentrische Kreise abgebildet werden. Zuerst konstruiert man die Potenzgerade der beiden gegebenen Kreise; wählt man zwei beliebige Punkte P und Q auf dieser Geraden, so kann man zwei Kreise mit den Mittelpunkten P beziehungsweise Q konstruieren, welche die zwei gegebenen Kreise rechtwinklig schneiden. Die beiden zuletzt konstruierten Kreise schneiden sich in zwei Punkten. Inversion an einem der beiden Schnittpunkte (F) bildet die konstruierten Kreise ab auf Geraden, die durch F gehen; die zwei gegebenen Kreise gehen dabei in konzentrische Kreise über, der dritte gegebene Kreis (im Allgemeinen) in einen neuen Kreis. Dies folgt daraus, dass das System der Kreise äquivalent ist zu einer Menge <a href="Kreis_des_Apollonios" title="Kreis des Apollonios">Apollonischer Kreise</a>, die ein bipolares Koordinatensystem bilden.

<div class="mw-heading mw-heading4"><h4 id="Größenänderung_und_Inversion">Größenänderung und Inversion</h4></div>

Die Nützlichkeit der Kreisspiegelung kann durch Größenänderung deutlich gesteigert werden. Wie schon bei <a href="#Viètes_Rekonstruktion">Viètes Rekonstruktion</a> erläutert, lassen sich die Radien der gegebenen Kreise und des Lösungskreises zugleich ändern, sodass die Berührungseigenschaft erhalten bleibt. Auf diese Weise kann das ursprüngliche Apollonios-Problem in ein anderes Problem verwandelt werden, das unter Umständen leichter zu lösen ist. Beispielsweise kann die Größe von vier Kreisen so verändert werden, dass einer dieser Kreise zu einem Punkt schrumpft; auch ist es oft möglich, zwei gegebene Kreise so zu verändern, dass sie einander berühren. Drittens kann die Größe von Kreisen, die sich schneiden, so geändert werden, dass sie sich nicht schneiden; danach ist die <a href="#Inversion_in_einen_Kreisring">Inversion in einen Kreisring</a> anwendbar. In all diesen Fällen erhält man die Lösung des ursprünglichen Apollonios-Problems dadurch, dass man die Lösung des transformierten Problems nimmt und die Größenänderung und die Inversion rückgängig macht.

<div class="mw-heading mw-heading5"><h5 id="Schrumpfen_eines_gegebenen_Kreises_zu_einem_Punkt">Schrumpfen eines gegebenen Kreises zu einem Punkt</h5></div>

Bei der ersten Vorgehensweise werden die gegebenen Kreise vergrößert oder verkleinert (entsprechend den Vorgaben zur Berührung), bis einer dieser Kreise zu einem Punkt P schrumpft. In diesem Fall wird das allgemeine Apollonios-Problem (KKK) zum Problem KKP (siehe <a href="#Fallunterscheidung">Fallunterscheidung</a>), also zu der Aufgabe, einen Kreis zu finden, der die beiden verbleibenden gegebenen Kreise berührt und durch den Punkt P geht. Inversion an einem Kreis mit Mittelpunkt P transformiert die zwei gegebenen Kreise in neue Kreise und den Lösungskreis in eine Gerade. Daher entspricht die transformierte Lösung einer Geraden, welche die beiden transformierten gegebenen Kreise berührt. Es gibt vier solche Lösungsgeraden, die sich mithilfe des äußeren und des inneren Ähnlichkeitszentrums der beiden Kreise konstruieren lassen. Erneute Inversion bezüglich P und Rückgängigmachen der Größenänderungen transformieren solch eine Lösungsgerade in den gewünschten Lösungskreis des originalen Apollonios-Problems. Man kann alle acht allgemeinen Lösungen durch Vergrößern und Verkleinern finden, entsprechend den Vorgaben zu ein- oder ausschließender Berührung; jedoch können verschiedene gegebene Kreise zu einem Punkt schrumpfen für verschiedene Lösungen.

<div class="mw-heading mw-heading5"><h5 id="Größenänderung_zweier_gegebener_Kreise_zur_Berührung">Größenänderung zweier gegebener Kreise zur Berührung</h5></div>

Bei der zweiten Vorgehensweise werden die Radien der gegebenen Kreise um einen Betrag <math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle \Delta r}">

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle \Delta r}</annotation>

</semantics>

</math><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/cc4f36cb1759b5dbc5003f91e305d51f58205200.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.338ex; width:2.985ex; height:2.176ex;" alt="{\displaystyle \Delta r}" loading="lazy"> geändert, sodass sich zwei der Kreise berühren. Der gemeinsame Berührpunkt dient als Zentrum der Spiegelung an einem Kreis, der jeden der zwei sich berührenden Kreise in zwei Punkten schneidet. Durch die Kreisspiegelung werden die einander berührenden Kreise auf zwei parallele Geraden abgebildet: Da nämlich ihr einziger gemeinsamer Punkt ins Unendliche geht, können sich die Bildgeraden nicht schneiden. Dieselbe Inversion bildet den dritten Kreis auf einen anderen Kreis ab. Die Lösung des invertierten Problems muss also entweder (1) eine Gerade sein, die zu den gegebenen parallelen Geraden parallel ist und den aus dem dritten gegebenen Kreis entstandenen Kreis berührt, oder (2) ein Kreis mit konstantem Radius, der die gegebenen parallelen Geraden und den transformierten gegebenen Kreis berührt. Erneute Inversion und Änderung aller Kreisradien um <math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle \Delta r}">

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle \Delta r}</annotation>

</semantics>

</math><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/cc4f36cb1759b5dbc5003f91e305d51f58205200.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.338ex; width:2.985ex; height:2.176ex;" alt="{\displaystyle \Delta r}" loading="lazy"> liefert einen Lösungskreis, der die drei ursprünglich gegebenen Kreise berührt.

<div class="mw-heading mw-heading3"><h3 id="Gergonnes_Lösung">Gergonnes Lösung</h3></div>

Gergonnes Methode beruht darauf, dass Paare von Lösungskreisen betrachtet werden.<a href="#cite_note-Dörrie_1965-2">[2]</a> Es seien zwei Lösungskreise mit CA und CB bezeichnet (pink dargestellte Kreise in Abbildung 10); die Berührpunkte mit den drei gegebenen Kreisen seien A1, A2, A3 beziehungsweise B1, B2, B3. Gergonnes Lösungsmethode verfolgt das Ziel, diese sechs Punkte zu lokalisieren und so die zwei Lösungskreise zu finden.

Gergonne erkannte, dass, wenn eine Gerade L1 konstruiert werden kann, sodass A1 und B1 darauf liegen müssen, diese zwei Punkte durch Schnitt von L1 mit dem gegebenen Kreis C1 bestimmt werden können (Abbildung 10). Die anderen vier Berührpunkte lassen sich entsprechend ermitteln, indem man Geraden L2 und L3 findet, die durch A2 und B2 beziehungsweise durch A3 und B3 gehen. Um eine solche Gerade wie L1 zu konstruieren, müssen zwei Punkte identifiziert werden, die auf dieser Geraden liegen; aber diese Punkte müssen keine Berührpunkte sein. Gergonne gelang es, je zwei andere Punkte für diese Geraden zu finden. Von einem dieser beiden Punkte war schon die Rede, nämlich vom radical center G, das auf allen drei Geraden liegt (Abbildung 11).

Um je einen zweiten Punkt auf den Geraden L1, L2 und L3 zu lokalisieren,

verwendete Gergonne einen Zusammenhang zwischen diesen Geraden und der Potenzgerade R der Lösungskreise CA und CB. Um diesen Zusammenhang zu verstehen, sollen die beiden Tangenten an den Kreis C1 in den Berührpunkten mit den Lösungskreisen (A1 und B1) betrachtet werden; der Schnittpunkt dieser Tangenten ist der Pol von L1 in Bezug auf den Kreis C1. Da die Abstände dieses Pols zu den Berührpunkten A1 und B1 gleich sind, muss dieser Pol definitionsgemäß auch auf der Potenzgerade R der Lösungskreise liegen (Abbildung 10). Die Beziehung zwischen Polpunkten und ihren Polgeraden ist wechselseitig; wenn der Pol von L1 bezüglich C1 auf R liegt, muss umgekehrt der Pol von R bezüglich C1 auf L1 liegen. Daher können wir durch Konstruktion von R seinen Pol P1 bezüglich C1 finden; auf diese Weise erhält man den benötigten zweiten Bestimmungspunkt von L1 (Abbildung 11).

Gergonne fand die Potenzgerade R der unbekannten Lösungskreise folgendermaßen. Ein beliebiges Paar von Kreisen besitzt zwei Ähnlichkeitszentren; diese zwei Punkte ergeben sich als die Schnittpunkte der gemeinsamen Tangenten beider Kreise. Daher gibt es zu den drei gegebenen Kreisen sechs Ähnlichkeitszentren, je zwei für jedes Paar von Kreisen. Bemerkenswerterweise liegen diese sechs Punkte auf vier Geraden, und zwar jeweils drei Punkte auf jeder der Geraden; außerdem entspricht jede der Geraden der Potenzgerade eines potentiellen Paars von Lösungskreisen. Um dies zu zeigen, betrachtete Gergonne Geraden durch entsprechende Berührpunkte auf zwei der gegebenen Kreise, z. B. die Verbindungsgeraden A1A2 und B1B2. Nun sei X3 ein Ähnlichkeitszentrum für die zwei Kreise C1 und C2; dann sind A1, A2 und B1, B2 Paare von antihomologen Punkten, und ihre Verbindungsgeraden schneiden sich in X3. Daraus folgt, dass die Produkte der Abstände gleich sind:

<mover>

<mrow>

<msub>

</mrow>

</msub>

<msub>

</mrow>

</msub>

</mrow>

</mover>

</mrow>

<mover>

<mrow>

<msub>

</mrow>

</msub>

<msub>

</mrow>

</msub>

</mrow>

</mover>

</mrow>

<mover>

<mrow>

<msub>

</mrow>

</msub>

<msub>

</mrow>

</msub>

</mrow>

</mover>

</mrow>

<mover>

<mrow>

<msub>

</mrow>

</msub>

<msub>

</mrow>

</msub>

</mrow>

</mover>

</mrow>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle {\overline {X_{3}A_{1}}}\cdot {\overline {X_{3}A_{2}}}={\overline {X_{3}B_{1}}}\cdot {\overline {X_{3}B_{2}}}}</annotation>

</semantics>

</math><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/70fed7a4eadc0685a5e52efbf13aadeb7a78b878.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.671ex; width:30.062ex; height:3.343ex;" alt="{\displaystyle {\overline {X_{3}A_{1}}}\cdot {\overline {X_{3}A_{2}}}={\overline {X_{3}B_{1}}}\cdot {\overline {X_{3}B_{2}}}}" loading="lazy"></dd></dl>

Damit ist gezeigt, dass X3 auf der Potenzgerade der zwei Lösungskreise liegt. Ein entsprechendes Argument lässt sich auf die beiden anderen Paare von Kreisen anwenden, sodass die drei Ähnlichkeitszentren für die drei gegebenen Kreise auf den Potenzgeraden der Paare von Lösungskreisen liegen müssen.

Zusammengefasst ist die gesuchte Gerade L1 durch zwei Punkte definiert: das radical center G der drei gegebenen Kreise und den Pol von einer der vier Verbindungsgeraden der Ähnlichkeitszentren bezüglich C1. Bestimmung der entsprechenden Pole bezüglich C2 und C3 ergibt die Geraden L2 und L3; so können alle sechs Punkte lokalisiert werden, aus denen ein Paar von Lösungskreisen bestimmt werden kann. Wiederholt man diese Prozedur für die anderen drei Verbindungsgeraden von Ähnlichkeitszentren, so erhält man weitere sechs Lösungskreise, insgesamt also acht Lösungen. Wenn jedoch eine Gerade Lk keinen Schnittpunkt mit dem Kreis Ck besitzt (für dasselbe k), existiert kein Paar von Lösungskreisen für diese Verbindungsgerade von Ähnlichkeitszentren.

<div class="mw-heading mw-heading2"><h2 id="Spezialfälle">Spezialfälle</h2></div>

<div class="mw-heading mw-heading3"><h3 id="Fallunterscheidung">Fallunterscheidung</h3></div>

<caption>Tabelle: Die zehn Typen des Apollonios-Problems

</caption>

<th>Nummer</th>

<th>Kürzel</th>

<th>Gegeben</th>

<th>Zahl der Lösungen (im Allgemeinen)</th>

<th>Beispiel (gegebene Elemente schwarz; Lösung pink)</th>

<th>Anmerkungen

</th></tr>

<tr>

<td>drei Punkte</td>

<td>

</td>

<td>Der Lösungskreis ist im Allgemeinen der Umkreis des durch die Punkte festgelegten Dreiecks. Liegen die 3 Punkte auf einer Geraden, ist diese Gerade die (uneigentliche) Lösung, bzw. es gibt in diesem Falle keinen Kreis als Lösung.

</td></tr>

<tr>

<td>eine Gerade, zwei Punkte</td>

<td>

</td>

<td>Ist die Gerade, die durch die beiden Punkte geht, parallel zur gegebenen Gerade, so existiert nur 1 Lösung.

</td></tr>

<tr>

<td>zwei Geraden, ein Punkt</td>

<td>

</td>

<td>Die Verbindungslinie aus dem gegebenen Punkt und dem Schnittpunkt der beiden Geraden liegt in einem Fall innerhalb des Lösungskreises (siehe Bild), im anderen Falle außerhalb (der Lösungskreis wird dann i. d. R. deutlich größer).

</td></tr>

<tr>

<td>drei Geraden</td>

<td>

</td>

<td>der Inkreis und die 3 Ankreise des aus den 3 Geraden gebildeten Dreiecks

</td></tr>

<tr>

<td>ein Kreis, zwei Punkte</td>

<td>

</td>

<td>Der eine Lösungskreis liegt außerhalb des gegebenen Kreises (siehe Bild), der andere umschließt ihn.

</td></tr>

<tr>

<td>ein Kreis, eine Gerade, ein Punkt</td>

<td>

</td>

<td>

</td></tr>

<tr>

<td>zwei Kreise, ein Punkt</td>

<td>

</td>

<td>Die Lösungskreise umschließen entweder keinen (siehe Bild), den ersten, den zweiten oder beide Kreise

</td></tr>

<tr>

<td>ein Kreis, zwei Geraden</td>

<td>

</td>

<td>

</td></tr>

<tr>

<td>zwei Kreise, eine Gerade</td>

<td>

</td>

<td>

</td></tr>

<tr>

<td>drei Kreise (das klassische Problem)</td>

<td>

</td>

<td>

</td></tr></tbody></table>

Das Problem ist in allen Fällen mit den klassischen Mitteln (Zirkel und Lineal) lösbar. Falls zwei der Kreise mindestens einen Punkt M gemein haben, kann man das Problem vereinfachen, indem man es durch eine Spiegelung an einem Kreis mit Mittelpunkt M auf den Fall zurückführt, dass zwei der Kreise in Geraden ausarten.

Für die vier Fälle ohne gegebene Kreise können mit relativ einfachen Möglichkeiten Lösungen für die Kreisradien angegeben werden:

<div class="mw-heading mw-heading3"><h3 id="Drei_Punkte">Drei Punkte</h3></div>

Für drei Punkte gibt es eine Lösung. Wenn mindestens zwei Punkte aufeinander liegen, gibt es unendlich viele Lösungen.

Die drei Punkte bilden ein Dreieck mit den Seiten a, b, c. Der gesuchte Kreis ist der <a href="Umkreis" title="Umkreis">Umkreis</a> dieses Dreiecks:

<mfrac>

<mrow>

</mrow>

<mrow>

</mrow>

</mfrac>

</mrow>

<mfrac>

<mrow>

</mrow>

<mrow>

<msub>

</mrow>

</msub>

</mrow>

</mfrac>

</mrow>

<mfrac>

<mrow>

</mrow>

</mfrac>

</mrow>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle r={\frac {abc}{4A}}={\frac {ab}{2h_{c}}}={\frac {a}{2\sin \alpha }}}</annotation>

</semantics>

</math><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/0a469d04123e64b9503a93dfbeb31c94c38a8327.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -2.338ex; width:25.812ex; height:5.843ex;" alt="{\displaystyle r={\frac {abc}{4A}}={\frac {ab}{2h_{c}}}={\frac {a}{2\sin \alpha }}}" loading="lazy"></dd></dl>

Für die Bestimmung des Flächeninhaltes A kann wieder der <a href="Satz_des_Heron" title="Satz des Heron">Satz des Heron</a> verwendet werden.

<div class="mw-heading mw-heading3"><h3 id="Eine_Gerade,_zwei_Punkte">Eine Gerade, zwei Punkte</h3></div>

Für zwei Punkte und eine Gerade gibt es zwei Lösungen, bei den unten genannten Spezialfällen nur eine, und für zwei auf der Geraden liegende Punkte keine Lösung.

Die vorgegebenen Punkte seien mit <math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle P_{1}}">

<msub>

</mrow>

</msub>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle P_{1}}</annotation>

</semantics>

</math><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/398f438d75434e6fbf48dc232c1ad7228a738568.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.671ex; width:2.547ex; height:2.509ex;" alt="{\displaystyle P_{1}}" loading="lazy"> und <math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle P_{2}}">

<msub>

</mrow>

</msub>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle P_{2}}</annotation>

</semantics>

</math><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/87858df7457aa93caaef5a316db87a7240cc8c29.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.671ex; width:2.547ex; height:2.509ex;" alt="{\displaystyle P_{2}}" loading="lazy"> bezeichnet, die vorgegebene Gerade mit <math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle g}">

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle g}</annotation>

</semantics>

</math><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/d3556280e66fe2c0d0140df20935a6f057381d77.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.671ex; width:1.116ex; height:2.009ex;" alt="{\displaystyle g}" loading="lazy">. Weiter sei <math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle S}">

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle S}</annotation>

</semantics>

</math><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/4611d85173cd3b508e67077d4a1252c9c05abca2.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.338ex; width:1.499ex; height:2.176ex;" alt="{\displaystyle S}" loading="lazy"> der Schnittpunkt der Geraden <math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle (P_{1}P_{2})}">

<msub>

</mrow>

</msub>

<msub>

</mrow>

</msub>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle (P_{1}P_{2})}</annotation>

</semantics>

</math><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/c6ec27c70dcd7570c75f0601950170c3d464e673.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.838ex; width:6.902ex; height:2.843ex;" alt="{\displaystyle (P_{1}P_{2})}" loading="lazy"> mit <math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle g}">

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle g}</annotation>

</semantics>

</math><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/d3556280e66fe2c0d0140df20935a6f057381d77.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.671ex; width:1.116ex; height:2.009ex;" alt="{\displaystyle g}" loading="lazy"> und <math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle \alpha <90^{\circ }}">

<msup>

</mrow>

</msup>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle \alpha <90^{\circ }}</annotation>

</semantics>

</math><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/b331bdc430fbe04bc36f2c5bbd1afcdd40ffdd0a.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.338ex; width:7.965ex; height:2.343ex;" alt="{\displaystyle \alpha <90^{\circ }}" loading="lazy"> der <a href="Schnittwinkel_(Geometrie)" title="Schnittwinkel (Geometrie)">Schnittwinkel</a>. Dann haben die Berührpunkte der beiden gesuchten Kreise nach dem <a href="Sekantentangentensatz" class="mw-redirect" title="Sekantentangentensatz">Sekantentangentensatz</a> den Abstand <math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle t={\sqrt {{\overline {SP_{1}}}\cdot {\overline {SP_{2}}}}}}">

<msqrt>

<mover>

<mrow>

<msub>

</mrow>

</msub>

</mrow>

</mover>

</mrow>

<mover>

<mrow>

<msub>

</mrow>

</msub>

</mrow>

</mover>

</mrow>

</msqrt>

</mrow>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle t={\sqrt {{\overline {SP_{1}}}\cdot {\overline {SP_{2}}}}}}</annotation>

</semantics>

</math><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/6d44a75705c8e300d0805e81c4086c38ea1d4640.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -1.338ex; width:16.262ex; height:4.843ex;" alt="{\displaystyle t={\sqrt {{\overline {SP_{1}}}\cdot {\overline {SP_{2}}}}}}" loading="lazy"> von <math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle S}">

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle S}</annotation>

</semantics>

</math><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/4611d85173cd3b508e67077d4a1252c9c05abca2.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.338ex; width:1.499ex; height:2.176ex;" alt="{\displaystyle S}" loading="lazy">. Die Mittelpunkte können dann als Schnittpunkte der Mittelsenkrechten von <math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle P_{1}P_{2}}">

<msub>

</mrow>

</msub>

<msub>

</mrow>

</msub>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle P_{1}P_{2}}</annotation>

</semantics>

</math><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/76d9794d001a7d37e056defea5cdc8c99055fc56.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.671ex; width:5.093ex; height:2.509ex;" alt="{\displaystyle P_{1}P_{2}}" loading="lazy"> mit den Senkrechten zu <math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle g}">

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle g}</annotation>

</semantics>

</math><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/d3556280e66fe2c0d0140df20935a6f057381d77.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.671ex; width:1.116ex; height:2.009ex;" alt="{\displaystyle g}" loading="lazy"> in den Berührpunkten ermittelt werden.

<div class="mw-heading mw-heading3"><h3 id="Zwei_Geraden,_ein_Punkt">Zwei Geraden, ein Punkt</h3></div>

Es gibt verschiedene Fälle:

<ul><li>Die Geraden sind parallel: Falls der Punkt außerhalb des von den Geraden begrenzten Bereiches liegt, gibt es keine Lösungen. Liegt er auf einer der Geraden, gibt es eine Lösung. Liegt er dazwischen, zwei Lösungen; der Kreisdurchmesser ist jeweils gleich dem Abstand der Geraden.</li>

<li>Die Geraden sind nicht parallel:

<ul><li>Ist der Punkt der Schnittpunkt der Geraden, gibt es keine Lösung, sofern man die Lösung r=0 (Sonderfall des Kreises) ignoriert.</li>

<li>Liegt der Punkt <math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle P}">

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle P}</annotation>

</semantics>

</math><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/b4dc73bf40314945ff376bd363916a738548d40a.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.338ex; width:1.745ex; height:2.176ex;" alt="{\displaystyle P}" loading="lazy"> auf einer der Geraden, <math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle g}">

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle g}</annotation>

</semantics>

</math><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/d3556280e66fe2c0d0140df20935a6f057381d77.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.671ex; width:1.116ex; height:2.009ex;" alt="{\displaystyle g}" loading="lazy">, ist jedoch nicht der Schnittpunkt, gibt es zwei Lösungen; die Mittelpunkte der Kreise sind die Schnittpunkte der beiden Winkelhalbierenden mit der Senkrechten zu <math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle g}">

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle g}</annotation>

</semantics>

</math><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/d3556280e66fe2c0d0140df20935a6f057381d77.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.671ex; width:1.116ex; height:2.009ex;" alt="{\displaystyle g}" loading="lazy"> durch <math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle P}">

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle P}</annotation>

</semantics>

</math><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/b4dc73bf40314945ff376bd363916a738548d40a.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.338ex; width:1.745ex; height:2.176ex;" alt="{\displaystyle P}" loading="lazy">.</li>

<li>Liegt der Punkt auf keiner der Geraden, gibt es zwei Lösungen; dies ist der generische Fall. Es seien <math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle P'}">

<msup>

</msup>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle P'}</annotation>

</semantics>

</math><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/ef4efa52c8f47f06136f6ebfd1d68c1249aaca39.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.338ex; width:2.506ex; height:2.509ex;" alt="{\displaystyle P'}" loading="lazy"> das Bild von <math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle P}">

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle P}</annotation>

</semantics>

</math><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/b4dc73bf40314945ff376bd363916a738548d40a.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.338ex; width:1.745ex; height:2.176ex;" alt="{\displaystyle P}" loading="lazy"> unter der Spiegelung an der zugehörigen Winkelhalbierenden <math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle w}">

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle w}</annotation>

</semantics>

</math><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/88b1e0c8e1be5ebe69d18a8010676fa42d7961e6.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.338ex; width:1.664ex; height:1.676ex;" alt="{\displaystyle w}" loading="lazy"> und <math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle S}">

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle S}</annotation>

</semantics>

</math><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/4611d85173cd3b508e67077d4a1252c9c05abca2.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.338ex; width:1.499ex; height:2.176ex;" alt="{\displaystyle S}" loading="lazy"> der Schnittpunkt der Senkrechten zu <math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle w}">

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle w}</annotation>

</semantics>

</math><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/88b1e0c8e1be5ebe69d18a8010676fa42d7961e6.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.338ex; width:1.664ex; height:1.676ex;" alt="{\displaystyle w}" loading="lazy"> durch <math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle P}">

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle P}</annotation>

</semantics>

</math><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/b4dc73bf40314945ff376bd363916a738548d40a.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.338ex; width:1.745ex; height:2.176ex;" alt="{\displaystyle P}" loading="lazy"> und <math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle P'}">

<msup>

</msup>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle P'}</annotation>

</semantics>

</math><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/ef4efa52c8f47f06136f6ebfd1d68c1249aaca39.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.338ex; width:2.506ex; height:2.509ex;" alt="{\displaystyle P'}" loading="lazy"> mit einer der Geraden, <math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle g}">

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle g}</annotation>

</semantics>

</math><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/d3556280e66fe2c0d0140df20935a6f057381d77.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.671ex; width:1.116ex; height:2.009ex;" alt="{\displaystyle g}" loading="lazy">. Damit ist die Darstellung nun symmetrisch zur Winkelhalbierenden. Der Abstand der Berührpunkte <math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle B}">

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle B}</annotation>

</semantics>

</math><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/47136aad860d145f75f3eed3022df827cee94d7a.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.338ex; width:1.764ex; height:2.176ex;" alt="{\displaystyle B}" loading="lazy"> (der beiden Kreise mit <math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle g}">

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle g}</annotation>

</semantics>

</math><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/d3556280e66fe2c0d0140df20935a6f057381d77.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.671ex; width:1.116ex; height:2.009ex;" alt="{\displaystyle g}" loading="lazy">) zu <math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle S}">

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle S}</annotation>

</semantics>

</math><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/4611d85173cd3b508e67077d4a1252c9c05abca2.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.338ex; width:1.499ex; height:2.176ex;" alt="{\displaystyle S}" loading="lazy"> ergibt sich mit Hilfe der Beziehung des <a href="Sekanten-Tangenten-Satz" title="Sekanten-Tangenten-Satz">Sekanten-Tangenten-Satz</a>, angewendet mit <math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle S}">

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle S}</annotation>

</semantics>

</math><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/4611d85173cd3b508e67077d4a1252c9c05abca2.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.338ex; width:1.499ex; height:2.176ex;" alt="{\displaystyle S}" loading="lazy"> als Geraden-Zentrum zu <math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle {\overline {BS}}={\sqrt {{\overline {SP}}\cdot {\overline {SP'}}}}}">

<mover>

<mrow>

</mrow>

</mover>

</mrow>

<msqrt>

<mover>

<mrow>

</mrow>

</mover>

</mrow>

<mover>

<mrow>

<msup>

</msup>

</mrow>

</mover>

</mrow>

</msqrt>

</mrow>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle {\overline {BS}}={\sqrt {{\overline {SP}}\cdot {\overline {SP'}}}}}</annotation>

</semantics>

</math><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/0ee26536cbb34d142eb0c8c25413c7593cd73648.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -1.171ex; width:18.173ex; height:4.843ex;" alt="{\displaystyle {\overline {BS}}={\sqrt {{\overline {SP}}\cdot {\overline {SP'}}}}}" loading="lazy">. Aufgetragen nach beiden Seiten auf <math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle g}">

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle g}</annotation>

</semantics>

</math><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/d3556280e66fe2c0d0140df20935a6f057381d77.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.671ex; width:1.116ex; height:2.009ex;" alt="{\displaystyle g}" loading="lazy"> ergeben sich zunächst die Berührpunkte <math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle B}">

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle B}</annotation>

</semantics>

</math><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/47136aad860d145f75f3eed3022df827cee94d7a.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.338ex; width:1.764ex; height:2.176ex;" alt="{\displaystyle B}" loading="lazy">. Die Mittelpunkte <math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle M}">

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle M}</annotation>

</semantics>

</math><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/f82cade9898ced02fdd08712e5f0c0151758a0dd.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.338ex; width:2.442ex; height:2.176ex;" alt="{\displaystyle M}" loading="lazy"> der Kreise ergeben sich durch die jeweiligen Schnittpunkte der Senkrechten zu <math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle g}">

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle g}</annotation>

</semantics>

</math><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/d3556280e66fe2c0d0140df20935a6f057381d77.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.671ex; width:1.116ex; height:2.009ex;" alt="{\displaystyle g}" loading="lazy"> durch <math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle B}">

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle B}</annotation>

</semantics>

</math><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/47136aad860d145f75f3eed3022df827cee94d7a.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.338ex; width:1.764ex; height:2.176ex;" alt="{\displaystyle B}" loading="lazy"> mit der Winkelhalbierenden <math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle w}">

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle w}</annotation>

</semantics>

</math><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/88b1e0c8e1be5ebe69d18a8010676fa42d7961e6.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.338ex; width:1.664ex; height:1.676ex;" alt="{\displaystyle w}" loading="lazy">.</li></ul></li></ul>

<div class="mw-heading mw-heading3"><h3 id="Drei_Geraden">Drei Geraden</h3></div>

Für drei sich schneidende Geraden (nicht <a href="Parallel_(Geometrie)" class="mw-redirect" title="Parallel (Geometrie)">parallel</a> oder übereinander liegend) gibt es vier Lösungen. Sind zwei der Geraden parallel, gibt es nur zwei Lösungen, für drei Parallelen gibt es keine Lösung und für parallele Geraden mit Abstand 0 gibt es unendlich viele Lösungen.

Die drei Geraden bilden mit ihren Schnittpunkten ein Dreieck mit den Seiten <math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle a,b,c}">

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle a,b,c}</annotation>

</semantics>

</math><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/f13f068df656c1b1911ae9f81628c49a6181194d.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.671ex; width:5.302ex; height:2.509ex;" alt="{\displaystyle a,b,c}" loading="lazy">. Deshalb kommen hier die Regeln für den <a href="Inkreis" title="Inkreis">Inkreis</a> und die <a href="Ankreis" title="Ankreis">Ankreise</a> zur Anwendung:

<mfrac>

<mrow>

</mrow>

<mrow>

</mrow>

</mfrac>

</mrow>

<mfrac>

</mfrac>

</mrow>

<mfrac>

<mrow>

<mfrac>

</mfrac>

</mrow>

<mfrac>

</mfrac>

</mrow>

</mfrac>

</mrow>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle r={\frac {2A}{a+b+c}}={\frac {A}{s}}={\frac {a}{\cot {\frac {\beta }{2}}+\cot {\frac {\gamma }{2}}}}}</annotation>

</semantics>

</math><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/6aeecdc8d29f28fe44becb963209d13071f97031.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -3.838ex; width:36.831ex; height:7.343ex;" alt="{\displaystyle r={\frac {2A}{a+b+c}}={\frac {A}{s}}={\frac {a}{\cot {\frac {\beta }{2}}+\cot {\frac {\gamma }{2}}}}}" loading="lazy"></dd></dl>

mit den Innenwinkeln <math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle \alpha ,\beta ,\gamma }">

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle \alpha ,\beta ,\gamma }</annotation>

</semantics>

</math><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/301cc1b37ba8f0fb0c9bedee5efa5e0b5bc9e791.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.838ex; width:6.15ex; height:2.676ex;" alt="{\displaystyle \alpha ,\beta ,\gamma }" loading="lazy">, dem Flächeninhalt <math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle A}">

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle A}</annotation>

</semantics>

</math><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/7daff47fa58cdfd29dc333def748ff5fa4c923e3.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.338ex; width:1.743ex; height:2.176ex;" alt="{\displaystyle A}" loading="lazy"> und dem halben <a href="Umfang_(Geometrie)" title="Umfang (Geometrie)">Umfang</a> <math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle s}">

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle s}</annotation>

</semantics>

</math><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/01d131dfd7673938b947072a13a9744fe997e632.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.338ex; width:1.09ex; height:1.676ex;" alt="{\displaystyle s}" loading="lazy">:

<mfrac>

<mrow>

</mrow>

</mfrac>

</mrow>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle s={\frac {a+b+c}{2}}}</annotation>

</semantics>

</math><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/787a98dac5681f383514fc1bd5b4d8e561a3fd21.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -1.838ex; width:13.94ex; height:5.343ex;" alt="{\displaystyle s={\frac {a+b+c}{2}}}" loading="lazy"></dd></dl>

Um einen Ausdruck zu erhalten, der nur die Seitenlängen verwendet, kann der <a href="Satz_des_Heron" title="Satz des Heron">Satz des Heron</a> benutzt werden:

<msqrt>

</msqrt>

</mrow>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle A={\sqrt {s(s-a)(s-b)(s-c)}}}</annotation>

</semantics>

</math><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/f2040da62a4f48c9f502e3f38e44133524401c00.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -1.838ex; width:28.71ex; height:4.843ex;" alt="{\displaystyle A={\sqrt {s(s-a)(s-b)(s-c)}}}" loading="lazy"></dd></dl>

Die entsprechenden Formeln für die Ankreise lauten

<msub>

</mrow>

</msub>

<mfrac>

<mrow>

</mrow>

<mrow>

</mrow>

</mfrac>

</mrow>

<mfrac>

<mrow>

</mrow>

</mfrac>

</mrow>

<mfrac>

<mrow>

<mfrac>

</mfrac>

</mrow>

<mfrac>

</mfrac>

</mrow>

</mfrac>

</mrow>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle r_{a}={\frac {2A}{b+c-a}}={\frac {A}{s-a}}={\frac {a}{\tan {\frac {\beta }{2}}+\tan {\frac {\gamma }{2}}}}}</annotation>

</semantics>

</math><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/65bc557f1df3f98d5c2aed45d654c0bcd88939a1.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -3.838ex; width:41.871ex; height:7.343ex;" alt="{\displaystyle r_{a}={\frac {2A}{b+c-a}}={\frac {A}{s-a}}={\frac {a}{\tan {\frac {\beta }{2}}+\tan {\frac {\gamma }{2}}}}}" loading="lazy"></dd></dl>

bzw. für die anderen Ankreisen entsprechend.

<div class="mw-heading mw-heading3"><h3 id="Zahl_der_Lösungen">Zahl der Lösungen</h3></div>

Das Problem, für die verschiedenen Typen des Apollonios-Problems die Anzahl der Lösungen zu ermitteln, gehört zum Gebiet der <a href="Enumerative_Geometrie" class="mw-redirect" title="Enumerative Geometrie">enumerativen Geometrie</a>.<a href="#cite_note-Bruen_1983-1">[1]</a> Die allgemeine Zahl von Lösungen für die zehn Problemvarianten ist in der Tabelle weiter oben angegeben. Es kommt jedoch vor, dass spezielle Anordnungen der gegebenen Elemente die Zahl der Lösungen ändern. Beispielsweise hat das Apollonische Problem keine Lösung, wenn einer der Kreise die beiden anderen trennt (Abbildung 12); um die beiden durchgezogen gezeichneten Kreise zu berühren, müsste ein Lösungskreis den gestrichelt dargestellten Kreis schneiden; das ist aber unmöglich, wenn der gestrichelte Kreis berührt werden soll. Umgekehrt, wenn sich die drei gegebenen Kreise im selben Punkt berühren, dann ist jeder Kreis durch den gemeinsamen Punkt eine Lösung; solche Apollonios-Probleme haben unendlich viele Lösungen. Auch im Fall identischer gegebener Kreise gibt es im Allgemeinen unendlich viele Lösungen. Sind nur zwei Kreise identisch, so gibt es nur zwei verschiedene gegebene Kreise; die Mittelpunkte der Lösungskreise bilden eine <a href="Hyperbel_(Mathematik)" title="Hyperbel (Mathematik)">Hyperbel</a>, wie im Abschnitt <a href="#Schnitt_von_Hyperbeln">Schnitt von Hyperbeln</a> gezeigt wird.

Eine umfassende Zählung der Lösungen für alle möglichen Konfigurationen von drei gegebenen Kreisen, Punkten oder Geraden wurde zuerst von Muirhead im Jahre 1896 in Angriff genommen, auch wenn es frühere Arbeiten dazu von Stoll und Study gab. Die Untersuchung von Muirhead war jedoch unvollständig; sie wurde 1974 erweitert. Eine endgültige Zählung mit 33 verschiedenen Fällen wurde 1983 veröffentlicht.<a href="#cite_note-Bruen_1983-1">[1]</a> Obwohl die Lösungen des Apollonischen Problems gewöhnlich paarweise auftreten (siehe Abschnitt <a href="#Lösungspaare_bezüglich_Inversion">Lösungspaare bezüglich Inversion</a>), ist in einigen Fällen eine ungerade Zahl von Lösungen möglich, wie etwa bei der eindeutig bestimmten Lösung des Problems PPP, oder wenn einer der gegebenen Kreise oder alle drei selbst Lösungen sind. (Ein Beispiel dafür sind die Kreise im <a href="Satz_von_Descartes" title="Satz von Descartes">Satz von Descartes</a>). Es gibt jedoch kein Apollonios-Problem mit genau sieben Lösungen.

<div class="mw-heading mw-heading2"><h2 id="Literatur">Literatur</h2></div>

<ul><li><a href="H._S._M._Coxeter" class="mw-redirect" title="H. S. M. Coxeter">H. S. M. Coxeter</a>: The problem of Apollonius, American Mathematical Monthly, Band 75, 1968, S. 5–15</li>

<li>Frauke Böttcher: <a rel="nofollow" class="external text" href="https://web.archive.org/web/20110921090438/http://www.uni-koeln.de/math-nat-fak/didaktiken/mathe/volkert/Das%20Apollonische%20Beruehrproblem,%202007.pdf">Das "Apollonische Berührproblem" – Eine historische Rekonstruktion zur Vermittlung geometrischer Methoden</a> (PDF; 7,2 MB), Universität zu Köln, Mathematisch-Naturwissenschaftliche Fakultät, Seminar für Mathematik und ihre Didaktik (<a rel="nofollow" class="external text" href="https://web.archive.org/web/20110921090438/http://www.uni-koeln.de/math-nat-fak/didaktiken/mathe/volkert/Das%20Apollonische%20Beruehrproblem,%202007.pdf">pdf</a>).</li>

<li>Dana Mackenzie: <a rel="nofollow" class="external text" href="https://www.americanscientist.org/article/a-tisket-a-tasket-an-apollonian-gasket">A tisket, a tasket, an Apollonian basket</a>. In: American Scientist, Band 98, 2010, S. 10–14 (erhielt den <a href="Chauvenet-Preis" title="Chauvenet-Preis">Chauvenet-Preis</a> 2015).</li>

<li>David Girsch, Jason Ribando: Apollonios Problem: A Study of Solutions and Their Connections. In: American Journal of Undergraduate Research, Band 3, Nr. 1, 2004 (<a rel="nofollow" class="external text" href="https://ajuronline.org/uploads/Volume%203/Issue%201/31D-GischArt.pdf">PDF</a>).</li></ul>

<div class="mw-heading mw-heading2"><h2 id="Weblinks">Weblinks</h2></div>

<div class="sisterproject" style="margin:0.1em 0 0 0;"><div class="noresize noviewer" style="display:inline-block; line-height:10px; min-width:1.6em; text-align:center;" aria-hidden="true" role="presentation"></div><a class="external text" href="https://commons.wikimedia.org/wiki/Category:Problem_of_Apollonius?uselang=de">Commons: Apollonisches Problem</a> – Sammlung von Bildern, Videos und Audiodateien</div>

<ul><li><a href="Eric_Weisstein" title="Eric Weisstein">Eric W. Weisstein</a>: <a rel="nofollow" class="external text" href="https://mathworld.wolfram.com/ApolloniusProblem.html">Apollonius Problem.</a> In: <a href="MathWorld" title="MathWorld">MathWorld</a> (englisch).</li>

<li><a rel="nofollow" class="external text" href="https://www.mathpages.com/home/kmath113/kmath113.htm">Lösungen mit quadratischen Gleichungen</a></li></ul>

<div class="mw-heading mw-heading2"><h2 id="Einzelnachweise">Einzelnachweise</h2></div>

<li id="cite_note-Bruen_1983-1">↑ <a href="#cite_ref-Bruen_1983_1-0">a</a> <a href="#cite_ref-Bruen_1983_1-1">b</a> <a href="#cite_ref-Bruen_1983_1-2">c</a> <a href="#cite_ref-Bruen_1983_1-3">d</a> <a href="#cite_ref-Bruen_1983_1-4">e</a> A. Bruen, J.C. Fisher, J.B. Wilker: Apollonius by Inversion. In: Mathematics Magazine. 56, 1983, S. 97–103

</li>

<li id="cite_note-Dörrie_1965-2">↑ <a href="#cite_ref-Dörrie_1965_2-0">a</a> <a href="#cite_ref-Dörrie_1965_2-1">b</a> <a href="#cite_ref-Dörrie_1965_2-2">c</a> <a href="#cite_ref-Dörrie_1965_2-3">d</a> H. Dörrie: The Tangency Problem of Apollonius. In: 100 Great Problems of Elementary Mathematics: Their History and Solutions. 1965, S. 154–160.

</li>

<li id="cite_note-Coxeter_1968-3">↑ <a href="#cite_ref-Coxeter_1968_3-0">a</a> <a href="#cite_ref-Coxeter_1968_3-1">b</a> Harold Scott MacDonald Coxeter: The Problem of Apollonius. In: The American Mathematical Monthly. Vol. 75, 1968, S. 5–15.

</li>

</ol>

<div>

Normdaten (Sachbegriff): <a href="Gemeinsame_Normdatei" title="Gemeinsame Normdatei">GND</a>: <a rel="nofollow" class="external text" href="https://d-nb.info/gnd/4741964-7">4741964-7</a> </div>

</div></div></div><div><div class="zim-footer">

Dieser Artikel wurde von <a class="external text" title="Zuletzt bearbeitet am 2025-06-24" href="https://de.wikipedia.org/wiki/?title=Apollonisches_Problem&oldid=257336245">Wikipedia</a> herausgegeben. Der Text ist unter <a class="external text" href="https://creativecommons.org/licenses/by-sa/4.0/deed.de">Creative Commons Attribution-Share Alike 4.0</a> verfügbar, sofern nicht anders angegeben. Für die Mediendateien können zusätzliche Bedingungen gelten.

</div>

</div></div>

</div>

</main>

</div>

</body></html>